A set of predicates to check against.  \code{checks} is a map from the
attributes' names to the predicates to check.
